first-order logic
英 [fɜːst ˈɔːdə(r) ˈlɒdʒɪk]
美 [fɜːrst ˈɔːrdər ˈlɑːdʒɪk]
网络 一阶逻辑; 一阶谓词逻辑; 初阶逻辑; 第一阶逻辑; 第一级逻辑
双语例句
- Continuous first-order logic is an analog of classical first-order logic.
连续一阶逻辑是经典一阶逻辑的一个类比。 - Description logics are fragments of the first-order logic, which contain concepts, roles, and concept and role constructors; and have features of strong expressivity and decidable reasoning.
描述逻辑是包含了概念、角色以及概念和角色构造子的一阶逻辑的子逻辑，具有表达能力强且推理可判定的特征。 - Although continuous first-order logic was introduced quite recently, it has already been applied to analysis and probability theory.
虽然连续逻辑才刚被引入，它已在数学的分析学以及概率论中得到很多的应用。 - Implementation of Attack Reconstruction in First-order Logic Model for Security Protocols
安全协议一阶逻辑模型中攻击重构的实现 - In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built.
为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析，提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。 - After informal analysis of RDFS type system, this paper defines a suit of facts-rules set according to hierarchical class model, class-instance model and core concept constraint model in RDFS based on first-order logic.
文章首先对RDFS类型系统做了非形式化分析，然后基于一阶逻辑定义了一套RDFS类型系统中对应类层次模型、类-实例模型和核心概念约束模型的事实-规则集。 - Based on tableau the theories of automated theorem proving in first-order logic are discussed. For proving the soundness and the completeness, the methods of theorem proving using the model existence theorem are presented.
在tableau方法基础上，讨论了一阶逻辑中的自动定理证明理论，提出使用模型存在定理证明其可靠性和完备性的方法。 - It points out that the truth definition of IF first-order logic is still defined on the second-level in essence and is defined on single model;
指出IF一阶逻辑的真定义依然是二阶定义；IF一阶逻辑上的有效式只是特定模型上的有效； - Formal language is the depth of first-order logic.
形式语言是一阶逻辑的深化； - The agent is composed of known knowledge, learning conditions, and learning knowledge, and it has strong extensibility, because it s expressive language is the frame and first-order logic.
这些方法是由学习Agent来完成的，它由已知知识、学习条件和获取知识三部分构成，采用框架和一阶逻辑表示，因此学习Agent具有良好的扩展性。 - When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.
当解释的论域是一个固定大小的有限集合时，一阶逻辑公式的可满足性问题可以等价地归约为SAT问题。 - Inductive logic programming based on first-order logic has great expressivity, with which features can be represented in an integrated framework.
归纳逻辑编程（ILP）借助一阶谓词逻辑的强大描述能力，可以自然地表述各种特征，将其整合到一个逻辑框架下，从中学习目标关系。 - With the development of artificial intelligence, especially the approach of knowledge-based system, people are more and more clear about the innate limitations of the first-order logic: it's difficult for it to describe and deal with the uncertainty, inconsistency and insufficient of knowledge.
随着人工智能的发展，特别是对基于知识的系统的研制和开发，人们越来越清楚的认识到一阶逻辑的局限性：很难描述和处理知识的不确定性、不一致性和不完全性。 - First-order logic is used to formally describe spatial integrity constraints, which places the constraint and rules under a uniform mode.
基于传统数据库的ECA规则模型，定义了六元组的空间ECA模型，并采用一阶逻辑形式化的描述空间完整性约束，使得约束可以与主动规则在统一模式下处理。 - Automated Theorem Proving Based on Semantic Tableau in First-Order Logic
基于语义tableau的一阶逻辑自动定理证明 - Based on semantic Web Service and OWL-S specification, a first-order logic Situation Calculus planning method for services composition is introduced.
在语义Web服务规范OWL-S的基础上，研究通过一阶逻辑状态演算来规划组合服务的方法。 - The elementary first-order temporal logic is a development of modal logic and ordinary temporal logic.
基本的一阶时态逻辑有模态逻辑和时态逻辑的一个发展。 - Study on Uncertainty Reasoning in Lattice-Valued First-Order Logic L_ ( vfl) Based on Lattice Implication Algebra
基于格蕴涵代数的格值一阶逻辑L（vfl）中的不确定性推理研究 - In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。 - Research on RDF Model Based on First-Order Logic
基于一阶逻辑的RDF模型的研究 - Frame connection graph ( FCG) is used to represent the knowledge and then interpreted by using directed graph theory ( DG theory), and finally translated into first-order logic.
我们先用框架连接图（FCG）表示知识，进而用有向图（DG）理论解释，最后转换成一阶逻辑。 - Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。 - We define an extended class of integer linear first-order logic formula, which supports most integer linear and bit-wise expressions in C programs including integer division, integer modular and bit-wise operation.
我们定义了一类整数线性一阶逻辑判定公式，此类判定公式支持C程序中常用的整数线性运算。我们优化了判定过程，并扩充了对整数除法、取余和位运算的支持。 - First, we show that parameterized model-checking problem for existential positive first-order logic on bipartite graphs parameterized by the length of the input sentence has a linear kernelization.
首先我们证明了正存在式一阶逻辑在二分图上的参数模型检测问题存在线性核，其中参数为输入语句的长度。 - Probabilistic graphical models enable us to efficiently handle uncertainty. First-order logic enables us to compactly represent a wide variety of knowledge. Combining the both in a single representation has been a longstanding goal of AI research.
概率图模型能很好处理不确定性，一阶逻辑可以简洁地表示知识，将概率与逻辑整合在同一个表示之中一直是人工智能领域的一个长期目标。 - In this thesis, we study the parameterized complexity of model-checking problems over some fragments of first-order logic ( derived by restricting the boolean connectives and quantifiers we permit) through kernelization. A recent developed machinery named distillation is discussed in this work.
本文中，我们通过核化技术研究一些一阶逻辑子逻辑（通过限定一阶逻辑的布尔连接词和量词得到的逻辑）的模型检测问题的参数复杂性。本文中引用了最近提出的蒸馏机制。 - On the basis of first-hand data, this article mostly explore the IF first-order logic from the two aspects of syntax and semantics with the method of modern logic.
本文在古有第一手资料的基础之上，运用现代逻辑的方法，主要从语形和语义两方面对IF一阶逻辑进行研究。 - This dissertation uses the First-Order Logic to describe the access authority of the agent, which is more flexible and expressive.
文中采用一阶谓词逻辑描述主体的访问权限，具有更强的表达能力和灵活性。 - Firstly, a formal model of TPM is built using first-order logic language.
首先，在论文中用一阶逻辑语言建立可信平台模块API的形式化模型，然后对建立的形式化模型进行逻辑推理分析。